University of Warsaw - PDFSEARCH.IO - Document Search Engine

University of Warsaw
Results: 489

#	Item
131	1 Turing Machines with Atoms Mikołaj Boja´nczyk, Bartek Klin, Sławomir Lasota, Szymon Toru´nczyk University of Warsaw, e-mail: {bojan,klin,sl,szymtor}@mimuw.edu.pl Add to Reading List Source URL: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:43
132	Algebra for Infinite Forests with an Application to the Temporal Logic EF? Mikolaj Boja´ nczyk and Tomasz Idziaszek University of Warsaw, Poland {bojan,idziaszek}@mimuw.edu.pl Add to Reading List Source URL: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:11:18
133	A machine-independent characterization of timed languages Sławomir Lasota University of Warsaw joint work with Mikołaj Bojańczyk Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:06
134	Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw Add to Reading List Source URL: www.ninagierasimczuk.com Language: English - Date: 2012-04-16 16:00:45
135	Turing Machines with Atoms (LICSM. Bojańczyk, B. Klin, S. Lasota, S. Toruńczyk University of Warsaw Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:05
136	Basic Techniques II: Iterative Compression Marek Cygan Institute of Informatics University of Warsaw Add to Reading List Source URL: fptschool.mimuw.edu.pl Language: English - Date: 2014-08-18 06:58:34
137	Advanced Treewidth DPs Marcin Pilipczuk University of Bergen University of Warsaw University of Warwick Add to Reading List Source URL: fptschool.mimuw.edu.pl - Date: 2014-08-21 05:32:00
138	UNIVERSE@HOME: ULX’S, GR SOURCES, SNIA PROGENITORS PI: Krzysztof Belczynski (Warsaw University) This proposal aims to create the first database of the simulated stellar content of the Universe, from the earliest stars Add to Reading List Source URL: universeathome.pl Language: English - Date: 2014-08-12 07:51:26
139	Weak MSO+U over infinite trees∗ Mikołaj Bojańczyk1 and Szymon Toruńczyk†University of Warsaw Add to Reading List Source URL: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:15:14
140	Ankieta dla Czytelników BUW The University of Warsaw Library Patron Survey Język Language 2,5% Add to Reading List Source URL: www.buw.uw.edu.pl Language: Polish - Date: 2015-07-10 02:11:26

UPDATE